Multi-ML: Programming Multi-BSP Algorithms in ML
نویسندگان
چکیده
منابع مشابه
Elements of ML programming - ML 97 edition
elements of ml programming ml97 edition khbd elements of ml programming ml97 edition eyeguy elements of ml programming ml97 edition campen elements of ml programming ml97 edition anymix elements of ml programming ml97 edition dcnx elements of ml programming ml97 edition wigtql.herokuapp elements of ml programming ml97 edition ztrd elements of ml programming ml97 edition deelyey elements of ml p...
متن کاملConcurrent programming in ML
Concurrent Programming in ML presents the language Concurrent ML (CML), which supports the union of two important programming models: concurrent programming and functional programming. CML is an extension of the functional language Standard ML (SML) and is included as part of the Standard ML of New Jersey (SML/NJ) distribution. CML supports the programming of process communication and synchroni...
متن کاملReactive Programming in Standard ML
Reactive systems are systems that maintain an ongoing interaction with their environment, activated by receiving input events from the environment and producing output events in response. Modern programming languages designed to program such systems use a paradigm based on the notions of instants and activations. We describe a library for Standard ML that provides basic primitives for programmi...
متن کاملInteractive Programming Environment for ML
This paper presents our experiment in building a programming environment for ML. The approach is based on reusability. From existing compilers we derive some tools that assist users in developing ML programs. ML being a strongly typed language, its typechecking algorithm plays a central role. So we present some tools that show how to make use of type information in a programming environment. RR...
متن کاملMeta-programming Tools for Ml
Compile-time reeective ML (CRML) is an extension to Standard ML providing a metalanguage for program manipulationn10]. The original motivation was the automatic generation of map and fold like combinators for arbitrary datatypess4, 9]. The mechanisms developed to achieve this are far more general than we at rst realized, providing the foundation for a rich class of language extensions expressed...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Parallel Programming
سال: 2016
ISSN: 0885-7458,1573-7640
DOI: 10.1007/s10766-016-0417-6